class BASENOERROR    feature         A alias "+" (s: INTEGER) : INTEGER         do            Result:=s+1         end                  B(s : INTEGER) : INTEGER         do           Result:=s+1         endendclass DERIVEDERROR2      inherit BASENOERROR              redefine B      feature        B alias "+"(s : INTEGER) : INTEGER        do           Result:=s+1        endendclass DERIVEDERROR3      inherit BASENOERROR      feature        C alias "+"(s : INTEGER) : INTEGER        do           Result:=s+1        endendclass DERIVEDERROR4      inherit BASENOERROR        rename B as BASEB alias "+"      feature        C alias "+"(s : INTEGER) : INTEGER        do           Result:=s+1        endend